Search Results
Model-based testing with TLA+ and Apalache - Andrey Kupriyanov & Igor Konnov
BMCMT: Bounded Model Checking of TLA+ Specifications with SMT - Igor Konnov et al
Type Inference For TLA+ in Apalache - Jure Kukovec & Igor Konnov
Interchain Conversations II - How TLA+ and Apalache Helped Us to Design the Tendermint Light Client
Kayfabe: Model-based program testing with TLC - Star Dorminey
TLA+ Tutorial 2021 at DISC 2021
Игорь Коннов. Apalache: symbolic model checker for TLA+
Model Driven Testing with TAME - Marc Balcer
TLA+ in Engineering Systems – Quinceañera - David Langworthy
TLA+ by Markus Kuppe
Sketching Designs with TLA+ | Better Sound Quality
Ron Pressler The Practice and Theory of TLA+
